The author uses the mechanism of map symbol database index plus symbol description information buffer to prove the efficiency of accessing symbol description information in multiple map symbol databases; 文中采用地图符号库索引加缓存符号描述信息的机制,提高了访问多地图符号库中描述信息的速度;
Integrating the character of map symbol and SVG, this paper presents a description model of map symbol based on SVG. 结合地图符号的结构特征和SVG的表达方法,提出了基于SVG结构化的地图符号描述模型。
Based on above ultrasonic attenuation model in pulp suspension, a numerical computation software package was programmed with symbol computing software Maple to implement the computer description of ultrasonic attenuation model. 以上述纸浆悬浮液超声衰减模型为基础,论文采用符号计算软件Maple编写了数值计算软件包,实现了超声衰减模型的计算机描述。
The third aspect is about justification of symbol formal proof methods on authentication protocols. A soundness proof was given out for formal attacker ability description. 在认证协议形式化证明可靠性论证方面,给出形式化攻击者能力描述的可靠性证明。
Beginning with the perspective of the symbol data sharing, introducing the XML technology, this dissertation designs an XML-based representation mode of symbol data model for sharing which mainly to solve the uniform description of map symbol. 从地图符号数据共享角度,引入XML技术,设计了面向共享的地图符号数据模型XML表达方式,解决地图符号统一描述的问题。